monotone decision procedure
单调决策程式
热门查询
- ancho n. 安祖辣椒 n. (Ancho)人名；(西)安乔
- hopscotch n. 跳房子游戏 vi. 像玩跳房子游戏那样跳
- Lauda n. (Lauda)人名；(意、捷)劳达
- squadron n. 空军中队；一群；骑兵中队；分遣队；小舰队 vt. 把…编成中队 n. (Squadron)人名；(英)斯夸德伦
- ron abbr. remain overnight 留宿 abbr. 研究法辛烷值（Research Octane Number） n. (Ron)人名；(柬)龙；(英、西、捷、以)罗恩；(朝)论
- kuan n. 官窑瓷器
- Conley [人名] [爱尔兰姓氏] 康利 Connolly的变体; [地名] [美国] 康利
- China n. 中国 n. china，瓷器 adj. 中国的；中国制造的 adj. china，瓷制的
- ville n. （法）城镇
- Davison [人名] [英格兰人、苏格兰人姓氏] 戴维森取自父名，来源于David,含义是“戴维之子”(son of David); [地名] [美国] 戴维森
- Caesarean n. 剖腹产；专制独裁者 adj. 帝国的；凯撒的；剖腹产的
- unbind vt. 解开；解放
- Burnham [人名] [英格兰人姓氏] 伯纳姆住所名称，来源于古英语，含义是“溪流+宅地”(stream+homestead); [地名] [美国、新西兰、英国] 伯纳姆
- muscle n. 肌肉；力量 vt. 加强；使劲搬动；使劲挤出 vi. 使劲行进
- mechanize vt. 使机械化；机动化；用机械装置
- reckoning n. 计算；清算；算帐 v. 计算；认为；指望（reckon的ing形式）
- muriel n. 穆里尔（女子名）
- Fleetwood 弗利特伍德(姓氏)
- digitized v. 使数字化（digitize的过去分词） adj. 数字化的
- mathematics n. 数学；数学运算
